-
1 logically equivalent
Большой англо-русский и русско-английский словарь > logically equivalent
-
2 logically equivalent
Математика: логически эквивалентный -
3 logically equivalent
English-Russian scientific dictionary > logically equivalent
-
4 logically equivalent circuits
Математика: логически эквивалентные схемыУниверсальный англо-русский словарь > logically equivalent circuits
-
5 logically equivalent propositions
Математика: логически эквивалентные высказыванияУниверсальный англо-русский словарь > logically equivalent propositions
-
6 logically equivalent statements
Математика: логически эквивалентные высказыванияУниверсальный англо-русский словарь > logically equivalent statements
-
7 logically equivalent propositions
Англо-русский словарь по исследованиям и ноу-хау > logically equivalent propositions
-
8 logically
1) логично
2) логически
3) последовательно ∙ logically consistent data ≈ логически непротиворечивые данные logically constructed relation ≈ логически построенное соотношение logically defined class ≈ логически определенный класс logically determinate event ≈ логически определенное событие logically determinate formula ≈ логически определенная формула logically equivalent circuits ≈ логически эквивалентные схемы logically equivalent propositions ≈ логически эквивалентные высказывания logically equivalent statements ≈ логически эквивалентные высказывания logically false expression ≈ логически ложное выражение logically indeterminate event ≈ логически неопределенное событие logically irreducible relation ≈ логически неприводимое соотношение logically necessary hypothesis ≈ логически необходимая гипотеза logically related events ≈ логически связанные события logically true expression ≈ логически истинное выражение logically true sentence ≈ логически истинное предложение logically true statement ≈ логически истинное высказывание logically universal sentence ≈ логически универсальное предложение logically valid formula ≈ логически общезначимая формула logically valid sentence ≈ логически общезначимое предложение - logically absurd - logically complex - logically conclusive - logically consistent - logically contradictory - logically correct - logically defined - logically dependent - logically determinate - logically equivalent - logically exhaustive - logically false - logically imply - logically impossible - logically inconsistent - logically independent - logically indeterminate - logically justifiable - logically necessary - logically true - logically universal - logically valid - multiply logically логично;
логически логически рассуждая - *, one should become wiser with experience but some people never do по логике, нам следовало бы становиться умнее с годами, но некоторым из нас это не удаетсяБольшой англо-русский и русско-английский словарь > logically
-
9 equivalent
1) эквивалент || эквивалентный, равнозначный2) геом. равновеликий3) равнозначный; равноправный4) равносильный; равноценный• -
10 логически эквивалентный
Большой англо-русский и русско-английский словарь > логически эквивалентный
-
11 events
события aggregate of simple events ≈ множество элементарных событий algebra of states and events ≈ алгебра состояний и событий asymptotically independent events ≈ асимптотически независимые события chain dependent events ≈ зависимые события, образующие цепь continuous interference of events ≈ т. вер. непрерывное вмешательство случая delayed recurrent events ≈ рекуррентные события с задержкой discrete interference of events ≈ т. вер. дискретное вмешательство случая equally likely events ≈ равновероятные [равновозможные] события equally possible events ≈ равновероятные [равновозможные] события events occur at random ≈ явления носят случайный характер expected number of events ≈ ожидаемое число событий interval between events ≈ т. вер. интервал между событиями logically related events ≈ логически связанные события mutually exclusive events ≈ взаимно исключающие события mutually independent events ≈ взаимно независимые события pairwise independent events ≈ попарно независимые события set of elementary events ≈ множество элементарных событий statistically dependent events ≈ статистически зависимые события statistically independent events ≈ статистически независимые события stochastically independent events ≈ стохастически независимые события stream of random events ≈ поток случайных событий symmetrically dependent events ≈ эквивалентные события - algebra of events - antithetic events - at all events - chain of events - chained events - coincident events - combination of events - compatible events - consecutive events - crowd of events - current events - cycling of events - disjoint events - equal events - equiprobable events - equivalent events - exclusive events - exhaustive events - family of events - field of events - flow of events - identical events - implication of events - independence of events - independent events - intersection of events - multiple events - nonindependent events - nonoverlapping events - population of events - product of events - quasiequivalent events - quasiindependent events - recurrent events - repetitive events - semigroup of events - sequence of events - series of events - space of events - sum of events - union of events Результаты events: caught up by ~ находящийся в гуще событий events: caught up by ~ находящийся в гуще событий -
12 complex
1) комплекс; система2) комплексный; многосторонний3) сложный4) матем. комплексный•complex modulo m — мат. комплекс по модулю m
-
13 statement
1) высказывание; утверждение2) предложение3) констатация4) описание5) положение6) постановка ( задачи)7) формулировка8) отчёт; бюллетень9) мат. оператор•- truth statementneither statement is true — ни то, ни другое утверждение неверно
См. также в других словарях:
equivalent — {{Roman}}I.{{/Roman}} noun ADJECTIVE ▪ direct, exact ▪ approximate, closest (esp. AmE), nearest (esp. BrE), rough ▪ the nearest equivalent we have to a carnival … Collocations dictionary
logically — adv. Logically is used with these adjectives: ↑coherent, ↑compatible, ↑compelling, ↑consistent, ↑equivalent, ↑impossible, ↑incompatible, ↑inconsistent, ↑independent, ↑necessary, ↑ … Collocations dictionary
Principia Mathematica — For Isaac Newton s book containing basic laws of physics, see Philosophiæ Naturalis Principia Mathematica. The title page of the shortened version of the Principia Mathematica to *56. The Principia Mathematica is a three volume work on the… … Wikipedia
Raven paradox — The Raven paradox, also known as Hempel s paradox or Hempel s ravens is a paradox proposed by the German logician Carl Gustav Hempel in the 1940s to illustrate a problem where inductive logic violates intuition. It reveals the problem of… … Wikipedia
Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… … Wikipedia
Modal logic — is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals words that express modalities qualify a statement. For example, the statement John is happy might be qualified by… … Wikipedia
Prenex normal form — A formula of the predicate calculus is in prenex[1] normal form if it is written as a string of quantifiers followed by a quantifier free part (referred to as the matrix). Every formula in classical logic is equivalent to a formula in prenex… … Wikipedia
analytic philosophy — n. a 20th cent. philosophic movement characterized by its method of analyzing concepts and statements in the light of common experience and ordinary language so as to eliminate confusions of thought and resolve many traditional philosophical… … Universalium
Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia
Contraposition — For contraposition in the field of traditional logic, see Contraposition (traditional logic). For contraposition in the field of symbolic logic, see Transposition (logic). Contraposition is a logical relationship between two propositions, or… … Wikipedia
Laws of Form — (hereinafter LoF ) is a book by G. Spencer Brown, published in 1969, that straddles the boundary between mathematics and of philosophy. LoF describes three distinct logical systems: * The primary arithmetic (described in Chapter 4), whose models… … Wikipedia